//Accepted
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <iostream>

using namespace std;

int a[3], i, j, k;

int tipo(int x[]){
	if((x[0]!=x[1])&&(x[1]!=x[2])&&(x[2]!=x[0])){
		return 3;
	}
	if((x[0]==x[1])&&(x[1]==x[2])&&(x[2]==x[0])){
		return 0;
	}
	sort(a,a+3);
	if(a[0]==a[1]){
		swap(a[0], a[2]);
	}
	return 1;
}
int main(){
	//freopen("in.txt", "r", stdin);//freopen("out.txt", "w", stdout);
	
	scanf("%d%d%d", &a[0], &a[1], &a[2]);
	while(a[0]+a[1]+a[2]){
		
		k=tipo(a);
		if(k==0){//set
			if(a[0]==13)printf("*\n");
			else{
				printf("%d %d %d\n", a[0]+1, a[0]+1, a[0]+1);
			}
		}
		else if(k==1){//pair
			a[0]++;
			if(a[0]==a[1])a[0]++;
			
			if((a[0]>13)){
				a[0]=1;
				a[1]++;
				a[2]++;
			}
			
			if(a[1]==14){
				printf("1 1 1\n");
			}
			else{
				sort(a,a+3);
				printf("%d %d %d\n", a[0], a[1], a[2]);
			}
		}
		else {//no-pair
			printf("1 1 2\n");
		}
		
		
		scanf("%d%d%d", &a[0], &a[1], &a[2]);
	}
	return 0;
}
